External Uniqueness

Capabilities for External Uniqueness

Unique object references have many important applications in object-oriented programming. For instance, with su cient encapsulation properties they enable safe and e cient transfer of message objects between concurrent processes. However, it is a long-standing challenge to integrate unique references into practical object-oriented programming languages. This paper introduces a new approach to e...

External Uniqueness Is Unique Enough

External uniqueness is a surprising new way to add unique references to an OOPL. The idea is that an externally unique reference is the only reference into an aggregate from outside the aggregate. Internal references which do not escape the boundary of the aggregate are innocuous and therefore permitted. Based on ownership types, our proposal not only overcomes an abstraction problem from which...

Tobias Wrigstad Department of Computer and Systems Sciences Stockholm University / KTH , Stockholm , Sweden External Uniqueness — A Theory of Aggregate Uniqueness for Object - Oriented Programming

Verbalizing Business Rules: Part 8

Business rules should be validated by business domain experts, and hence specified using concepts and languages easily understood by business people. This is the eighth in a series of articles on expressing business rules formally in a high-level, textual language. The first article [4] discussed criteria for a business rules language, and verbalization of simple uniqueness and mandatory constr...

Verbalizing Business Rules : Part 14

Business rules should be validated by business domain experts, and hence specified in a language easily understood by business people. This is the fourteenth in a series of articles on expressing business rules formally in a high-level, textual language. The first article [3] discussed criteria for a business rules language, and verbalization of simple uniqueness and mandatory constraints on bi...